extern void start_timer();
